Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
41	Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2016-01-08 10:06:08 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Type system Glasgow Haskell Compiler Haskell Monad Principal type
42	Coalitional Bargaining with Agent Type Uncertainty Georgios Chalkiadakis and Craig Boutilier Department of Computer Science University of Toronto, Toronto, Canada { gehalk, cebly }@cs.toronto.edu Add to Reading List Source URL: www.intelligence.tuc.gr Language: English - Date: 2008-07-19 11:35:54 Game theory Cooperative game Bayesian game Core Extensive-form game Bargaining Solution concept Bayesian inference Determinacy
43	A Gentle Introduction to Haskell 98 Paul Hudak John Peterson Yale University Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-01 22:32:43 Type theory Data types Functional programming Functional languages Literate programming Monad Haskell Algebraic data type Pattern matching Kind Polymorphism Type inference
44	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
45	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
46	The VLDB Journal:51–68 DOIs00778x REGULAR PAPER Type inference and type checking for queries over execution traces Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-08-23 09:42:54 Combinatorial optimization Connectivity Tree Matching Routing algorithms Search algorithms
47	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind
48	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
49	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: pirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Algorithms HindleyMilner type system Lambda calculus Theoretical computer science Type inference Type theory Variable Questionnaire
50	Genome-scale Co-evolutionary Inference Identifies Functions and Clients of Bacterial Hsp90 Maximilian O. Press1., Hui Li2., Nicole Creanza3, Gu¨nter Kramer2, Christine Queitsch1, Victor Sourjik2, Elhanan Borenstein1,4 Add to Reading List Source URL: elbo.gs.washington.edu Language: English - Date: 2013-07-15 19:11:45 Proteins Organelles Hsp90 Chaperone Flagellum Type three secretion system Bacteria Chemotaxis Secretion MotA Clusterin Heat shock protein 90kDa alpha (cytosolic) member A1